Train Protection - PDFSEARCH.IO - Document Search Engine

Train Protection
Results: 492

#	Item
91	Contents 1 Executive Summary .........................................................................................................................................2 2 Add to Reading List Source URL: investment.infrastructure.gov.au Language: English - Date: 2009-12-17 06:25:03 Train protection systems Trains Railroad engineer Locomotive Electric locomotive Train Transport Land transport Rail transport
92	Journal of the Operational Research Society[removed], 606–613 r 2004 Operational Research Society Ltd. All rights reserved[removed] $30.00 www.palgrave-journals.com/jors Evaluating train protection systems Add to Reading List Source URL: researchrepository.napier.ac.uk Language: English - Date: 2011-01-11 23:47:20 Risk management Actuarial science Welfare economics Financial economics Train protection systems Value of life Valuation Automatic Train Protection Reliability engineering Risk Safety Ethics
93	COMTRAC (COMputer-aided TRAffic Control) COMTRAC is a control system that allows around-the-clock status monitoring of all Shinkansen trains currently in operation. CIC Shinkansen Add to Reading List Source URL: english.jr-central.co.jp Language: English - Date: 2010-03-28 22:39:47 Railway signalling High-speed rail in Japan Shinkansen Train protection systems Centralized traffic control High-speed rail Automatic Train Control Land transport Transport Rail transport
94	European Train Control System: A Case Study in Formal Verification Andr´e Platzer1 1 Carnegie 2 University Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:07:21 Applied mathematics Differential equations European Rail Traffic Management System European Train Control System Mathematics Structure Formal verification Hybrid system Verification Systems theory Train protection systems Formal methods
95	AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB/TR 14 AVACS Editors: Board of SFB/TR 14 AVACS Add to Reading List Source URL: www.avacs.org Language: English - Date: 2011-01-07 05:03:40 European Rail Traffic Management System Logic in computer science Applied mathematics European Train Control System Predicate logic Formal methods First-order logic Formal verification Control theory Train protection systems Logic Mathematical logic
96	European Train Control System: A Case Study in Formal Verification Andr´e Platzer1 1 Carnegie 2 University Add to Reading List Source URL: www.symbolaris.com Language: English - Date: 2014-08-04 10:07:21 Applied mathematics Differential equations European Rail Traffic Management System European Train Control System Mathematics Structure Formal verification Hybrid system Verification Systems theory Train protection systems Formal methods
97	European Train Control System: A Case Study in Formal Verification? Andr´e Platzer1 and Jan-David Quesel2 1 Computer Science Department, Carnegie Mellon University, Pittsburgh, PA Add to Reading List Source URL: www.symbolaris.com Language: English - Date: 2014-08-04 10:09:36 European Rail Traffic Management System Rail transport European Train Control System Control theory High-speed rail Automatic Train Protection Train protection systems Land transport Transport
98	Eyewear/Optics MultiLaser Protector de RUAG – Lunettes de protection professionnelles Au cours d’une patrouille, aux commandes d’un train ou d’un Add to Reading List Source URL: www.ruag.com Language: French - Date: 2014-10-16 06:29:53
99	Logical Verification and Systematic Parametric Analysis in Train Control? Andr´e Platzer and Jan-David Quesel University of Oldenburg, Department of Computing Science, Germany {platzer\|quesel}@informatik.uni-oldenburg.d Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:07:19 Rail transport European Rail Traffic Management System European Train Control System Theoretical computer science Railway signalling Model checking KeY First-order logic Correctness Transport Train protection systems Land transport
100	European Train Control System: A Case Study in Formal Verification? Andr´e Platzer1 and Jan-David Quesel2 1 Computer Science Department, Carnegie Mellon University, Pittsburgh, PA Add to Reading List Source URL: symbolaris.com Language: English - Date: 2013-11-27 20:01:46 European Rail Traffic Management System Rail transport European Train Control System Control theory High-speed rail Automatic Train Protection Train protection systems Land transport Transport

UPDATE